Skip to content

feat: add SP1 proof generation#51

Closed
prajwolrg wants to merge 19 commits intomainfrom
STR-2926-sp1-asm-proof
Closed

feat: add SP1 proof generation#51
prajwolrg wants to merge 19 commits intomainfrom
STR-2926-sp1-asm-proof

Conversation

@prajwolrg
Copy link
Copy Markdown
Collaborator

@prajwolrg prajwolrg commented Apr 1, 2026

Description

Type of Change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation update
  • Refactor
  • New or updated tests
  • Dependency update
  • Security fix

Notes to Reviewers

Checklist

  • I have performed a self-review of my code.
  • I have commented my code where necessary.
  • I have updated the documentation if needed.
  • My changes do not introduce new warnings.
  • I have added tests that prove my changes are effective or that my feature works.
  • New and existing tests pass with my changes.

Related Issues

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Apr 1, 2026 •
edited
Loading

Commit: 9e85738
SP1 Execution Results

program cycles success
ASM STF 124,409,555 yes
Moho Recursive 629,845 yes

prajwolrg added 17 commits April 1, 2026 23:16
@prajwolrg
feat: add magic information to ASM state
33513b4
@prajwolrg
feat: use state magic bytes in STF
77e7c4d
@prajwolrg
feat: add genesis information in the spec
c207512
@prajwolrg
refactor: replace Loader trait with LoaderStage
083cea7
@prajwolrg
fix(worker): initialize genesis properly
3893bad
@prajwolrg
refactor(strata-asm-spec): restructure into spec and genesis
0dcccb5
@prajwolrg
refactor(asm-params): introduce L1Anchor as alternative to GenesisL1View
ca74753
@prajwolrg
refactor(asm-params): use L1Anchor instead of GenesisL1View
59e2c97
@prajwolrg
refactor(btc-verification): replace GenesisL1View with L1Anchor in He…
ebca1ef 
…aderVerificationState
@prajwolrg
fix func tests
2ae2154
@prajwolrg
refactor(proof-statements): use construct_genesis_state and derive ne…
bef6783 
…twork from client
@prajwolrg
refactor(asm-spec): decouple strata-asm-spec from strata-asm-params
84ff110
@prajwolrg
refactor: remove irrelevant hash computation
87a5779
@prajwolrg
test(header-verification): use the new method for tests
688d73c
@prajwolrg
refactor(header-vs): reorder the checks so that the complex checks ha…
05523b2 
…ppen towards the end
@prajwolrg
refactor(proof-statements): inline StrataAsmSpec instead of passing i…
6372ad2 
…t as a parameter
@prajwolrg
refactor(asm-worker): simplify builder
053de1f
@prajwolrg prajwolrg force-pushed the STR-2926-sp1-asm-proof branch from 8e255af to 053de1f Compare April 2, 2026 09:56
@prajwolrg prajwolrg force-pushed the STR-2926-sp1-asm-proof branch from 4797381 to b86618d Compare April 2, 2026 15:57
@prajwolrg
Copy link
Copy Markdown
Collaborator Author

prajwolrg commented Apr 2, 2026

Closing in favor of #54.

@prajwolrg prajwolrg closed this Apr 2, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 2, 2026

Codecov Report

❌ Patch coverage is 96.09756% with 8 lines in your changes missing coverage. Please review.

Files with missing lines Patch % Lines
bin/asm-runner/src/bootstrap.rs 50.00% 4 Missing ⚠️
crates/btc-verification/src/header_verification.rs 97.22% 2 Missing ⚠️
crates/common/src/state.rs 75.00% 2 Missing ⚠️
Files with missing lines Coverage Δ
crates/params/src/params.rs 98.96% <100.00%> (-0.08%) ⬇️
crates/proof/statements/src/program.rs 80.55% <100.00%> (-1.50%) ⬇️
crates/proof/statements/src/statements.rs 100.00% <100.00%> (ø)
crates/proof/statements/src/test_utils.rs 100.00% <100.00%> (ø)
crates/spec-debug/src/lib.rs 0.00% <ø> (ø)
crates/spec/src/genesis.rs 100.00% <100.00%> (ø)
crates/spec/src/spec.rs 100.00% <100.00%> (ø)
crates/stf/src/manager.rs 91.66% <ø> (-0.65%) ⬇️
crates/stf/src/preprocess.rs 100.00% <100.00%> (ø)
crates/stf/src/stage.rs 100.00% <100.00%> (ø)
... and 7 more

... and 7 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@prajwolrg